Add copyright notice and permission notice.

diff --git a/etc/PROBLEMS b/etc/PROBLEMS
index 8d2ade666fb319902f5675b2f998ac04cb15b64b..ff4e45a9afd57665ac32515564b15dc9b45896d1 100644 (file)
--- a/etc/PROBLEMS
+++ b/etc/PROBLEMS
@@ -3322,6 +3322,12 @@ This problem will not happen if the m-...h file for your type
 of machine defines NO_UNION_TYPE.
 
 \f
+Copyright 1987,88,89,93,94,95,96,97,98,1999,2001,2002
+  Free Software Foundation, Inc.
+
+Copying and redistribution of this file with or without modification
+are permitted without royalty provided this notice is preserved.
+
 Local variables:
 mode: outline
 paragraph-separate: "[         \f]*$"